Nuprl Definition : normal-da
11,40
postcript
pdf
normal-da{i:l}(
da
) == fpf-all(Knd; Kind-deq;
da
;
x
,
A
.normal-type{i:l}(
A
))
latex
Definitions
fpf-all(
A
;
eq
;
f
;
x
,
v
.
P
(
x
;
v
))
,
Knd
,
Kind-deq
,
normal-type{i:l}(
T
)
FDL editor aliases
normal-da
origin